大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书(共8231本)

Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

0
索取号:
作者:Helfert、 Markus.、Donnellan、 Brian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Safety, Reliability, and Security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

0
索取号:
作者:Ortmeier、 Frank.、Daniel、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

0
索取号:
作者:Ortmeier、 Frank.、Daniel、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Driven Engineering Languages and Systems [electronic resource] : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30鈥揙ctober 5, 2012. Proceedings

0
索取号:
作者:France、 Robert B.、Kazmeier、 J眉rgen.、Breu、 Ruth.、Atkinson、 Colin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Distributed Computing [electronic resource] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings

0
索取号:
作者:Aguilera、 Marcos K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Methods in Systems Biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

0
索取号:
作者:Gilbert、 David.、Heiner、 Monika.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

On the Move to Meaningful Internet Systems: OTM 2012 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings

0
索取号:
作者:Herrero、 Pilar.、Panetto、 Herv茅.、Meersman、 Robert.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II

0
索取号:
作者:Meersman、 Robert.、Panetto、 Herv茅.、Dillon、 Tharam.、Rinderle-Ma、 Stefanie.、Dadam、 Peter.、Zhou、 Xiaofang.、Pearson、 Siani.、Ferscha、 Alois.、Bergamaschi、 Sonia.、Cruz、 Isabel F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I

0
索取号:
作者:Meersman、 Robert.、Panetto、 Herv茅.、Dillon、 Tharam.、Rinderle-Ma、 Stefanie.、Dadam、 Peter.、Zhou、 Xiaofang.、Pearson、 Siani.、Ferscha、 Alois.、Bergamaschi、 Sonia.、Cruz、 Isabel F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

0
索取号:
作者:Richa、 Andr茅a W.、Scheideler、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking [electronic resource] : International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

0
索取号:
作者:Chessa、 Stefano.、Knauth、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Web Information Systems and Mining [electronic resource] : International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings

0
索取号:
作者:Wang、 Fu Lee.、Lei、 Jingsheng.、Gong、 Zhiguo.、Luo、 Xiangfeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Open Source Systems: Long-Term Sustainability [electronic resource] : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings

0
索取号:
作者:Hammouda、 Imed.、Lundell、 Bj枚rn.、Mikkonen、 Tommi.、Scacchi、 Walt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Security and Privacy in Mobile Information and Communication Systems [electronic resource] : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers

0
索取号:
作者:Schmidt、 Andreas U.、Russello、 Giovanni.、Krontiris、 Ioannis.、Lian、 Shiguo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

0
索取号:
作者:Chakraborty、 Supratik.、Mukund、 Madhavan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

0
索取号:
作者:Jurdzi艅ski、 Marcin.、Ni膷kovi膰、 Dejan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类